$\forall$$r$:Rng, $a$, $b$:$\mid$$r$$\mid$. (({-}$r$($a$)) $\ast$ $b$) = {-}$r$($a$ $\ast$ $b$) $\in$ $\mid$$r$$\mid$ \& ($a$ $\ast$ ({-}$r$($b$))) = {-}$r$($a$ $\ast$ $b$) $\in$ $\mid$$r$$\mid$